package ms.jasim.pddl;

import ms.jasim.model.JasimModel;

public interface IPddlProblemGenerator {
	PddlProblem getPddlProblem(JasimModel model);
	void processPostPddlCommand(PddlProblem prop);
}
